Representation of States on MV-algebras by Probabilities on R-generated Boolean Algebras
نویسندگان
چکیده
Any MV-algebra M can be embedded as a lattice in the Boolean algebra B(M) that is R-generated by M . We relate the study of states on an MV-algebra M to the study of finitely additive probabilities on B(M). In particular, we show that each state on M can be uniquely extended to a finitely additive probability on B(M). In case that M is a PMV-algebra, the conditional state s(a|b) defined for a, b ∈ M with s(b) 6= 0 is extended to the classical conditional probability p(a · b|b) on B(M) of the a-proportion of the event b, given the event b. Keywords— MV-algebra, R-generated Boolean algebra, state, probability, conditional probability
منابع مشابه
On some classes of expansions of ideals in $MV$-algebras
In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate and $ (tau,sigma)$-Boolean in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...
متن کاملNew Results on Ideals in $MV$-algebras
In the present paper, by considering the notion of ideals in $MV$-algebras, we study some kinds of ideals in $MV$-algebras and obtain some results on them. For example, we present definition of ultra ideal in $MV$-algebras, and we get some results on it. In fact, by definition of ultra ideals, we present new conditions to have prime ideals, positive implicative ideals and maximal ideals in $MV$...
متن کامل$(odot, oplus)$-Derivations and $(ominus, odot)$-Derivations on $MV$-algebras
In this paper, we introduce the notions of $(odot, oplus)$-derivations and $(ominus, odot)$-derivations for $MV$-algebras and discuss some related results. We study the connection between these derivations on an $MV$-algebra $A$ and the derivations on its boolean center. We characterize the isotone $(odot, oplus)$-derivations and prove that $(ominus, odot)$-derivations are isotone. Finally we d...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملBasic decomposition of elements and Jauch-Piron effect algebras
A logical structure of propositions associated with a physical system,which can be xperimentally tested,form in the clasical case a Boolean algebra and in a quantum mechanical case an orthomodular lattice or poset (a quantum logic). Recently new logical structures for the presence of propositions, properties,questions or events with fuzziness,uncertainity or unsharpness has been introduced: Eff...
متن کامل